(define (cons x y)
        (lambda (m) (m x  y))
)
(define z (cons x y))
(define (car z)
        (z (lambda (p q) p))
)
; 演示结构
; (car (cons x y))
; (car (lambda (m) (m x y)))
; ((lambda (p q) p) x y)
; x

(exit)